Efficient Algorithms for Membership in Boolean Hierarchies of Regular Languages

The purpose of this paper is to provide efficient algorithms that decide membership for classes of several Boolean hierarchies for which efficiency (or even decidability) were previously not known. We develop new forbidden-chain characterizations for the single levels of these hierarchies and obtain the following results: - The classes of the Boolean hierarchy over level $\Sigma_1$ of the dot-depth hierarchy are decidable in $NL$ (previously only the decidability was known). The same remains true if predicates mod $d$ for fixed $d$ are allowed. - If modular predicates for arbitrary $d$ are allowed, then the classes of the Boolean hierarchy over level $\Sigma_1$ are decidable. - For the restricted case of a two-letter alphabet, the classes of the Boolean hierarchy over level $\Sigma_2$ of the Straubing-Th\'erien hierarchy are decidable in $NL$. This is the first decidability result for this hierarchy. - The membership problems for all mentioned Boolean-hierarchy classes are logspace many-one hard for $NL$. - The membership problems for quasi-aperiodic languages and for $d$-quasi-aperiodic languages are logspace many-one complete for $PSPACE$

10501 Abstracts Collection -- Advances and Applications of Automata on Words and Trees

From 12.12.2010 to 17.12.2010, the Dagstuhl Seminar 10501 ``Advances and Applications of Automata on Words and Trees\u27\u27 was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

Hand classification of fMRI ICA noise components

We present a practical "how-to" guide to help determine whether single-subject fMRI independent components (ICs) characterise structured noise or not. Manual identification of signal and noise after ICA decomposition is required for efficient data denoising: to train supervised algorithms, to check the results of unsupervised ones or to manually clean the data. In this paper we describe the main spatial and temporal features of ICs and provide general guidelines on how to evaluate these. Examples of signal and noise components are provided from a wide range of datasets (3T data, including examples from the UK Biobank and the Human Connectome Project, and 7T data), together with practical guidelines for their identification. Finally, we discuss how the data quality, data type and preprocessing can influence the characteristics of the ICs and present examples of particularly challenging datasets

Climate Change and the Global Pattern of Moraine-Dammed Glacial Lake Outburst Floods

Despite recent research identifying a clear anthropogenic impact on glacier recession, the effect of recent climate change on glacier-related hazards is at present unclear. Here we present the first global spatio-temporal assessment of glacial lake outburst floods (GLOFs) focusing explicitly on lake drainage following moraine dam failure. These floods occur as mountain glaciers recede and downwaste. GLOFs can have an enormous impact on downstream communities and infrastructure. Our assessment of GLOFs associated with the rapid drainage of moraine-dammed lakes provides insights into the historical trends of GLOFs and their distributions under current and future global climate change. We observe a clear global increase in GLOF frequency and their regularity around 1930, which likely represents a lagged response to post-Little Ice Age warming. Notably, we also show that GLOF frequency and regularity – rather unexpectedly – have declined in recent decades even during a time of rapid glacier recession. Although previous studies have suggested that GLOFs will increase in response to climate warming and glacier recession, our global results demonstrate that this has not yet clearly happened. From an assessment of the timing of climate forcing, lag times in glacier recession, lake formation and moraine-dam failure, we predict increased GLOF frequencies during the next decades and into the 22nd century

NetKet: A machine learning toolkit for many-body quantum systems

We introduce NetKet, a comprehensive open source framework for the study of many-body quantum systems using machine learning techniques. The framework is built around a general and flexible implementation of neural-network quantum states, which are used as a variational ansatz for quantum wavefunctions. NetKet provides algorithms for several key tasks in quantum many-body physics and quantum technology, namely quantum state tomography, supervised learning from wavefunction data, and ground state searches for a wide range of customizable lattice models. Our aim is to provide a common platform for open research and to stimulate the collaborative development of computational methods at the interface of machine learning and many-body physics

The structural plasticity of white matter networks following anterior temporal lobe resection

Anterior temporal lobe resection is an effective treatment for refractory temporal lobe epilepsy. The structural consequences of such surgery in the white matter, and how these relate to language function after surgery remain unknown. We carried out a longitudinal study with diffusion tensor imaging in 26 left and 20 right temporal lobe epilepsy patients before and a mean of 4.5 months after anterior temporal lobe resection. The whole-brain analysis technique tract-based spatial statistics was used to compare pre- and postoperative data in the left and right temporal lobe epilepsy groups separately. We observed widespread, significant, mean 7%, decreases in fractional anisotropy in white matter networks connected to the area of resection, following both left and right temporal lobe resections. However, we also observed a widespread, mean 8%, increase in fractional anisotropy after left anterior temporal lobe resection in the ipsilateral external capsule and posterior limb of the internal capsule, and corona radiata. These findings were confirmed on analysis of the native clusters and hand drawn regions of interest. Postoperative tractography seeded from this area suggests that this cluster is part of the ventro-medial language network. The mean pre- and postoperative fractional anisotropy and parallel diffusivity in this cluster were significantly correlated with postoperative verbal fluency and naming test scores. In addition, the percentage change in parallel diffusivity in this cluster was correlated with the percentage change in verbal fluency after anterior temporal lobe resection, such that the bigger the increase in parallel diffusivity, the smaller the fall in language proficiency after surgery. We suggest that the findings of increased fractional anisotropy in this ventro-medial language network represent structural reorganization in response to the anterior temporal lobe resection, which may damage the more susceptible dorso-lateral language pathway. These findings have important implications for our understanding of brain injury and rehabilitation, and may also prove useful in the prediction and minimization of postoperative language deficits

Canadian Stroke Best Practice Recommendations: Hyperacute Stroke Care Guidelines, Update 2015

The 2015 update of the Canadian Stroke Best Practice Recommendations Hyperacute Stroke Care guideline highlights key elements involved in the initial assessment, stabilization, and treatment of patients with transient ischemic attack (TIA), ischemic stroke, intracerebral hemorrhage, subarachnoid hemorrhage, and acute venous sinus thrombosis. The most notable change in this 5th edition is the addition of new recommendations for the use of endovascular therapy for patients with acute ischemic stroke and proximal intracranial arterial occlusion. This includes an overview of the infrastructure and resources required for stroke centers that will provide endovascular therapy as well as regional structures needed to ensure that all patients with acute ischemic stroke that are eligible for endovascular therapy will be able to access this newly approved therapy; recommendations for hyperacute brain and enhanced vascular imaging using computed tomography angiography and computed tomography perfusion; patient selection criteria based on the five trials of endovascular therapy published in early 2015, and performance metric targets for important time-points involved in endovascular therapy, including computed tomography-to-groin puncture and computed tomography-to-reperfusion times. Other updates in this guideline include recommendations for improved time efficiencies for all aspects of hyperacute stroke care with a movement toward a new median target door-toneedle time of 30 min, with the 90th percentile being 60 min. A stronger emphasis is placed on increasing public awareness of stroke with the recent launch of the Heart and Stroke Foundation of Canada FAST signs of stroke campaign; reinforcing the public need to seek immediate medical attention by calling 911; further engagement of paramedics in the prehospital phase with prehospital notification to the receiving emergency department, as well as the stroke team, including neuroradiology; updates to the triage and same-day assessment Conflict of interest: Leanne K. Casaubon: Medtronic (as an independent study patient assessor for a cardiac TAVI study); NoNO Inc. as site PI for the Frontier study of NA-1 neuroprotective in stroke; Covidien as an advisory board member. Jean-Martin Boulanger: conference speaker for BI Novartis, Sanofi Aventis, Merck, Merz, Allergan, Pfizer, Bayer, Boehringer Ingelheim. Gord Gubitz: speaker for Bayer, Boehringer Ingleheim, and BMS Pfizer. Dr. Michael D. Hill: Heart and Stroke Foundation of Alberta Board Chair, salary award holder; Vernalis Group Ltd and Merck Ltd Consultant; Hoffmann-LaRoche Canada, provided drug for clinical trial, consultancy and CME lecturer; Coviden, research grant holder; Servier Canada, CME lecturer (funds donated to charity); BMS Canada, consultancy (funds donated to charity); Alberta Innovates Health Solutions, program grant award; principal investigator, ESCAPE trial. Brian Moses: speaker for AstraZeneca, Bayer, Boehringer Ingelheim, Sanofi Aventis, and Servier; speaker and advisory board member for BMS, Eli Lilly, Merck, NovoNordisk, Pfizer; advisory board member for Medtronic. Funding: The development of the Canadian Stroke Best Practice Recommendations is funded in their entirety by the Heart and Stroke Foundation, Canada. No funds for the development of these guidelines come from commercial interests, including pharmaceutical and medical device companies. All members of the recommendation writing groups and external reviewers are volunteers and do not receive any remuneration for participation in guideline development, updates, and reviews. All participants complete a conflict of interest declaration prior to participation. of patients with transient ischemic attack; updates to blood pressure recommendations for the hyperacute phase of care for ischemic stroke, intracerebral hemorrhage, and subarachnoid hemorrhage. The goal of these recommendations and supporting materials is to improve efficiencies and minimize the absolute time lapse between stroke symptom onset and reperfusion therapy, which in turn leads to better outcomes and potentially shorter recovery times

Self-medication of migraine and tension-type headache: summary of the evidence-based recommendations of the Deutsche Migräne und Kopfschmerzgesellschaft (DMKG), the Deutsche Gesellschaft für Neurologie (DGN), the Österreichische Kopfschmerzgesellschaft (ÖKSG) and the Schweizerische Kopfwehgesellschaft (SKG)

The current evidence-based guideline on self-medication in migraine and tension-type headache of the German, Austrian and Swiss headache societies and the German Society of Neurology is addressed to physicians engaged in primary care as well as pharmacists and patients. The guideline is especially concerned with the description of the methodology used, the selection process of the literature used and which evidence the recommendations are based upon. The following recommendations about self-medication in migraine attacks can be made: The efficacy of the fixed-dose combination of acetaminophen, acetylsalicylic acid and caffeine and the monotherapies with ibuprofen or naratriptan or acetaminophen or phenazone are scientifically proven and recommended as first-line therapy. None of the substances used in self-medication in migraine prophylaxis can be seen as effective. Concerning the self-medication in tension-type headache, the following therapies can be recommended as first-line therapy: the fixed-dose combination of acetaminophen, acetylsalicylic acid and caffeine as well as the fixed combination of acetaminophen and caffeine as well as the monotherapies with ibuprofen or acetylsalicylic acid or diclofenac. The four scientific societies hope that this guideline will help to improve the treatment of headaches which largely is initiated by the patients themselves without any consultation with their physicians